lower sequent - translation to ρωσικά
Diclib.com
Λεξικό ChatGPT
Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆
Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

  • πώς χρησιμοποιείται η λέξη
  • συχνότητα χρήσης
  • χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
  • επιλογές μετάφρασης λέξεων
  • παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
  • ετυμολογία

lower sequent - translation to ρωσικά

DEFUNCT COMPUTER HARDWARE COMPANY
Sequent Computer Systems Inc.; Sequent Computer Systems, Inc.; Sequent Computer Systems Inc
  • Logo used from 1983 until the mid-1990s
  • Sequent S81 system

lower sequent      

математика

нижняя секвенция

sequent         
CONDITIONAL ASSERTION THAT IF ALL OF THE ANTECEDENT CONDITIONS ARE TRUE, THEN AT LEAST ONE OF THE CONSEQUENT FORMULAS IS TRUE
Sequent (in logic); Sequents

['si:kwənt]

общая лексика

вытекающий

последующий

секвенция

следующий

прилагательное

общая лексика

следующий

последовательный

идущий по порядку

являющийся следствием

sequent         
CONDITIONAL ASSERTION THAT IF ALL OF THE ANTECEDENT CONDITIONS ARE TRUE, THEN AT LEAST ONE OF THE CONSEQUENT FORMULAS IS TRUE
Sequent (in logic); Sequents
1) последовательный
2) последующий; вытекающий

Ορισμός

sequent
¦ adjective archaic following in a sequence or as a logical conclusion.
Derivatives
sequently adverb

Βικιπαίδεια

Sequent Computer Systems

Sequent Computer Systems was a computer company that designed and manufactured multiprocessing computer systems. They were among the pioneers in high-performance symmetric multiprocessing (SMP) open systems, innovating in both hardware (e.g., cache management and interrupt handling) and software (e.g., read-copy-update).

Through a partnership with Oracle Corporation, Sequent became a dominant high-end UNIX platform in the late 1980s and early 1990s. Later they introduced a next-generation high-end platform for UNIX and Windows NT based on a non-uniform memory access architecture, NUMA-Q. As hardware prices fell in the late 1990s, and Intel shifted their server focus to the Itanium processor family, Sequent joined the Project Monterey effort in October 1998. which aimed to move a standard Unix to several new platforms.

In July 1999 Sequent agreed to be acquired by IBM. At the time, Sequent's CEO said its technology would "find its way through IBM's entire product field" and IBM announced it would "both sell Sequent machines, and fold Sequent's technology...into its own servers", but by May 2002 a decline in sales of the models acquired from Sequent, among other reasons, led to the retirement of Sequent-heritage products.

Vestiges of Sequent's innovations live on in the form of data clustering software from PolyServe (subsequently acquired by HP), various projects within OSDL, IBM contributions to the Linux kernel, and claims in the SCO v. IBM lawsuit.

Μετάφραση του &#39lower sequent&#39 σε Ρωσικά